Parallel algorithm - PDFSEARCH.IO - Document Search Engine

Parallel algorithm
Results: 759

#	Item
431	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:38 Transaction processing Dynamical systems Mathematics Concurrent data structure Linearization Algorithm Parallel computing Model checking Concurrency Concurrency control Computing Linearizability
432	Automatic Synthesis of Deterministic Concurrency Veselin Raychev1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {veselin.raychev,martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-17 10:02:32 Concurrent computing Thread Synchronization Deadlock Parallel computing Algorithm Lock Mutual exclusion Computer programming Concurrency Computing Computer science
433	Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated Hagit Attiya Rachid Guerraoui Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:54 Computing Linearizability Mutual exclusion Algorithm Parallel computing Non-blocking algorithm Compare-and-swap Lock Function Concurrency control Mathematics Concurrency
434	Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-06-27 16:34:36 Computing Logic in computer science Computer memory Memory barrier Abstraction Abstract interpretation Algorithm Formal verification Parallel computing Mathematics Theoretical computer science Applied mathematics
435	NUMA-Aware Reader-Writer Locks Irina Calciu Dave Dice Yossi Lev Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2013-01-07 10:10:37 Concurrent computing Readers–writer lock Lock Non-blocking algorithm Linearizability Parallel computing Mutual exclusion Software transactional memory Deadlock Concurrency control Computing Concurrency
436	thrpt-abortable-hogwarts-CR-2CB-nCR-4usecs.eps Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2011-12-22 08:47:05 Computer programming Lock Spinlock Non-blocking algorithm Ticket lock Deadlock Parallel computing Mutual exclusion Test-and-set Concurrency control Computing Concurrency
437	Scalable and Precise Dynamic Datarace Detection for Structured Parallelism Raghavan Raman Jisheng Zhao Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-04-06 10:34:31 Parallel computing Concurrency control Algorithm OpenMP Non-blocking algorithm Scheduling Deadlock Thread FastTrack Computing Concurrent computing Computer programming
438	Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-04-06 10:33:51 Transaction processing Concurrency Computer memory Linearizability Concurrent computing Non-blocking algorithm Memory barrier Sequential consistency Parallel computing Computing Concurrency control Computer architecture
439	Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation Mariana Kolberg, Gerd Bohlender and Dalcidio Claudio Pontif´ıcia Universidade Cat´olica do Rio Grande do Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2008-04-22 06:30:39 Software Numerical linear algebra Interval arithmetic LAPACK Lis Basic Linear Algebra Subprograms Mathematical optimization Algorithm Parallel computing Numerical software Mathematics Numerical analysis
440	An Adaptive Framework for Large-scale State Space Search Yanhua Sun, Gengbin Zheng, Pritish Jetley, Laxmikant V. Kal´e Department of Computer Science University of Illinois at Urbana-Champaign Urbana, IL 61801, USA {sun Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2011-05-01 22:30:33 Virtual Processor Speedup Multi-core processor Distributed computing Parallel algorithm Scheduling Binary tree Scalability A* search algorithm Concurrent computing Computing Parallel computing

UPDATE